If Gym Leaders Didn't Have Types